trait A[T]
